Generating a Test Oracle from Program Documentation
نویسندگان
چکیده
............................................................................................................................ iii Acknowledgements .......................................................................................................... iv Table of
منابع مشابه
Peters and Parnas : Using Test Oracles Generated from Program
|This paper illustrates how software can be described precisely using LD-relations, how these descriptions can be presented in a readable manner using tabular notations, and one way such descriptions can be used to test programs. We describe an algorithm that can be used to generate a test oracle from program documentation, and present the results of using a tool based on it to help test part o...
متن کاملAn experimental assessment of module documentation-based testing
Context: Testing a module that has memory using the black-box approach has been found to be expensive and relatively ineffective. Instead, testing without knowledge of the specifications (white-box approach) may not be effective in showing whether a program has been properly implemented as stated in its specifications. We propose instead a grey-box approach called Module Documentation-based Tes...
متن کاملMatrix Multiplication Program: a Case Study of Metamorphic Testing
Software testing is one of phases in software engineering process that has a very important role to determine the quality of software under test. In software testing, after generating and selecting test cases, and executing them, the outputs need to be checked against a test oracle to determine whether any failures detected or not. Oracle problem is one of the biggest problems in Software testi...
متن کاملGenerating Readable Unit Tests for Guava
Unit tests for object-oriented classes can be generated automatically using search-based testing techniques. As the search algorithms are typically guided by structural coverage criteria, the resulting unit tests are often long and confusing, with possible negative implications for developer adoption of such test generation tools, and the difficulty of the test oracle problem and test maintenan...
متن کاملAutomated Random Testing to Detect Specification-Code Inconsistencies
An interface specification language such as JML provides a means to document precisely the behavior of program modules such as Java classes, and it is being adopted by industry. However, few practical tools exist for programmers to assure the correctness of their interface specifications. Nonetheless, the correctness of an interface specification is a prerequisite for the use of the specificati...
متن کامل